de Bruijn index